Automating Mathematical Program Transformations
نویسندگان
چکیده
Program transformations are often not automated because their definitions do not specify the many details needed to implement them correctly in code. We define two, the conversion of Boolean expressions into integer inequalities and the convex hull transformation of disjunctive constraints, using a novel style based on set theory. This treats constraints as syntactic objects, allowing mappings between constraint spaces to be defined in a precise way. As a result, our definitions are directly amenable to a computer implementation. Examples of our software’s input and output are provided.
منابع مشابه
Metaprogramming in the Large
Software evolution demands continuous adaptation of software systems to continuously changing requirements. Our goal is to cope with software evolution by automating program transformation and system recon guration. We show that this can be achieved with a static metaprogramming facility and a library of suitable metaprograms. We show that former approaches of program transformations are not su...
متن کاملAutomating Three Modes of Evolution for Object-Oriented Software Architectures
1 Architectural evolution is a costly yet unavoidable consequence of a successful application. One method for reducing cost is to automate aspects of the evolutionary cycle when possible. Three kinds of architectural evolution in object-oriented systems are: schema transformations, the introduction of design pattern microarchitectures, and the hot-spot-drivenapproach. This paper shows that all ...
متن کاملAutomating the Evolution of Object-Oriented Systems
A formal framework is presented for maintaining behavior and consistency of object-oriented systems during software evolution. The framework eeectively couples a change avoidance approach based on Adaptive Object-Oriented Software with a change management mechanism to fully automate evolution. Schema transformations may render existing objects and programs inconsistent. The framework identiies ...
متن کاملAutomating the Evolution of Object
A formal framework is presented for maintaining behavior and consistency of object-oriented systems during software evolution. The framework eeectively couples a change avoidance approach based on Adaptive Object-Oriented Software with a change management mechanism to fully automate evolution. Schema transformations may render existing objects and programs inconsistent. The framework identiies ...
متن کامل